Nuprl Definition : permute_list
4,23
postcript
pdf
(
L
o
f
) == mklist(||
L
||;
i
.
L
[
f
(
i
)])
latex
Definitions
mklist(
n
;
f
)
,
||
as
||
,
l
[
i
]
FDL editor aliases
permute_list
origin
i.L[f(i)]) i.L[f(i)])